//Day 16-1
//#define _CRT_SECURE_NO_WARNINGS 1
//#include <stdio.h>
//int main()
//{
//	int n, k;
//	scanf("%d %d", &n, &k);
//	int i = 0;
//	int j = 0;
//	int count = 0;
//	for (i = 1; i < 6; i++)
//	{
//		for (j = 1; j < 6; j++)
//		{
//			if (i % j >= k) count++;
//		}
//	}
//	printf("%d", count);
//	return 0;
//}